منابع مشابه
Universal Methodology to Handle Differential Pairs during Pin Assignment
Differential signaling has been a major challenge in design automation. The routing of differential pairs requires a suitable pin assignment of the respective nets. However, current automatic pin assignment algorithms lack the ability to consider differential pairs. We present a methodology to include differential pairs during pin assignment. Our solution can be applied to automatic or manual p...
متن کاملUsing Mixed Universal and Rigid E-Unification to Handle Equality in Universal Formula Semantic Tableaux
In this paper we describe how a combination of the classical “universal” E-unification and “rigid” Eunification, called “mixed” E-unification, can be used to efficiently handle equality in universal formula semantic tableaux, that are an extension of free variable tableaux.
متن کاملAn Improved Construction for Universal Re-encryption
Golle et al recently introduced universal re-encryption, defining it as re-encryption by a player who does not know the key used for the original encryption, but which still allows an intended player to recover the plaintext. Universal re-encryption is potentially useful as part of many information-hiding techniques, as it allows any player to make ciphertext unidentifiable without knowing the ...
متن کاملImproved Local Search for Universal Facility Location
We consider the universal facility location problem in which the goal is to assign clients to facilities in order to minimize the sum of connection and facility costs. The connection cost is proportional to the distance each client has to travel to its assigned facility, whereas the cost of a facility is a non-decreasing function depending on the number of clients assigned to the facility. This...
متن کاملUsing E - Unification to Handle Equality in Universal Formula Semantic Tableaux — Extended
In this paper we describe how a combination of the classical “universal” E-unification and “rigid”E-unification, called “mixed” E-unification, can be used to efficiently handle equality in universal formula semantic tableaux, that are an extension of free variable tableaux.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Lancet
سال: 1899
ISSN: 0140-6736
DOI: 10.1016/s0140-6736(00)65540-x